package scala.examples.tcpoly.calculi.stlc.tests
import scala.examples.tcpoly.binding.frescala._

object TestEval extends Eval with Application {
  println((for(x <- gensym("x");
       r <- evalX(A(L(TBool, x \\ V(x)), T))) yield r) run)
}